Libro
|
Formal methods for real-time computing:
|
Sin autor
|
Repr.
(1996)
|
Domicilio
|
----------
|
Libro
|
Formalización del proceso de desarrollo de software
|
Haeberer, Armando Martín
|
Ed. prelim.
(1988)
|
Domicilio
|
----------
|
Artículo
|
Heuristics on the definition of UML refinement patterns :
|
Pons, Claudia Fabiana
|
(2006)
|
|
----------
|
Programa de estudio
|
Lógica e Inteligencia Artificial
|
Pons, Claudia Fabiana
|
(2018)
|
|
----------
|
Programa de estudio
|
Lógica e Inteligencia Artificial
|
Pons, Claudia Fabiana
|
(2019)
|
|
----------
|
Tesis
|
Modelo formal para especificación e implementación de hiperhistorias:
|
Capelli, Guillermo
|
(1998)
|
Sala
|
----------
|
Libro
|
Métodos formais para o desenvolvimento de programas
|
Alencar, Paulo S. C. de
|
Ed. prelim.
(1988)
|
Domicilio
|
----------
|
Artículo
|
PAMPERO : precise assistant for the modeling process in an environment with refinement orientation
|
Pons, Claudia Fabiana
|
(2004)
|
|
----------
|
Artículo
|
Reasoning about static and dynamic properties in Alloy : A purely relational approach
|
Frias, Marcelo F.
|
(2005)
|
|
----------
|
Artículo
|
Revealing undercover refinement in UML modeling :
|
Pons, Claudia Fabiana
|
(2004)
|
|
----------
|